/*@__PURE__*/ a();
/*@__PURE__*/ b();
/*@__PURE__*/ c();
/*@__PURE__*/ d();
